تعداد ۲۵ پاسخ غیر تکراری از ۲۵ پاسخ تکراری در مدت زمان ۰,۳۴ ثانیه یافت شد.

1. Computer aided verification

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses

2. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings

پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

663

3. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation

رده :

QA

76

.

76

.

E93

.

C38

1993

4. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

2725

5. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings

پدیدآورنده : K.G. Larsen, A. Skou, eds

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

575

6. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

3114

7. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

پدیدآورنده : E. Allen Emerson, A. Prasad Sistla )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1855

8. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

2404

9. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

3576

10. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings

پدیدآورنده : Costas Courcoubetis )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

697

11. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

پدیدآورنده : Orna Grumberg )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1254

12. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

پدیدآورنده : Rajeev Alur, Thomas A. Henzinger

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1102

13. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings

پدیدآورنده : David L. Dill, ed

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

818

14. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999

پدیدآورنده : Nicolas Halbwaches, Doron Peled )Eds.(

کتابخانه: (طهران)

موضوع : Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1633

15. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

پدیدآورنده : Alan J. Hu, Moshe Y. Vardi )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :

QA

76

.

L28

Vol

.

1427

16. Detection of intrusions and malware, and vulnerability assessment

پدیدآورنده : Ulrich Flegel, Danilo Bruschi (eds.)

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Computers, Access control, Congresses,Computers, Access control, Evaluation, Congresses,Computer networks, Security measures, Congresses,Computer security, Congresses,Malware (Computer software), Congresses,Eindringerkennung, Kongress, Como <2009>,Kryptoanalyse, Kongress, Como <2009>,Malware, Kongress, Como <2009>,Softwareschwachstelle, Kongress, Como <2009>,Zugriffskontrolle, Kongress, Como <2009>,Como (2009), swd,Kongress., swd,Eindringerkennung., swd,Kryptoanalyse., swd,Malware., swd,Softwareschwachstelle., swd,Zugriffskontrolle., swd

رده :

QA

،

76

.

9

،.

A25

,

D563

،

2009

17. Development and evolution of software architecture for product families : second International ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings

پدیدآورنده : Frank van der Linden, )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Evaluation -- Congresses ، Computer software

رده :

QA

76

.

L28

Vol

.

1429

18. Measurement, Modelling and Evaluation of Computing Systems

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Telecommunication systems -- Evaluation -- Congresses,Computer systems -- Evaluation -- Congresses,Computer software -- Evaluation -- Congresses,مخابرات -- سیستم‌ها -- ارزشیابی -- کنگره‌ها,سیستم‌های کامپیوتری -- ارزشیابی -- کنگره‌ها,نرم‌افزار -- ارزشیابی -- کنگره‌ها

رده :

E-Book

,

19. Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance

پدیدآورنده : / Jens B. Schmitt (ed.

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Telecommunication systems--Evaluation--Congresses,Computer systems--Evaluation--Congresses,Computer software--Evaluation--Congresses

رده :

TK5101

.

A1G54

2012

20. Partial evaluation : International Seminar Dagstuhl Castle, Germany Feb. 12-16, 1996 : selected papers

پدیدآورنده : Olivier Danvy, Robert Gluck, Peter Thiemann )eds.(

کتابخانه: (طهران)

موضوع : Evaluation -- Congresses ، Computer software,Congresses ، Software maintenance

رده :

QA

76

.

L28

Vol

.

1110

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها